A. Chagrov, M. Zakharyaschev; "Modal Logic", Thm 3.62